I am Toby Bartels (they/them).
My main interests here are the foundations of mathematics, including constructive mathematics and how to formalise higher category theory internally. I have a liking for centipede mathematics, which I sometimes take too far, but usually it has applications somewhere. I also have an aptitude for negative thinking; my favourite mathematical object is the empty set. Along these lines, I advocate learning order theory before category theory, just as one learns category theory before higher category theory; see category theory vs order theory.
The regulars here may be especially interested in my PhD dissertation, Higher Gauge Theory I: 2-Bundles.
I also have my own personal web here, although not much is on it.
Last revised on December 11, 2022 at 13:08:56. See the history of this page for a list of all contributions to it.